Auteurs
Keywords (en)
Analysis
LNCS
Racine
Analysis
LNCS
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur l'Université de Trèves

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Helmut Seidl14
Transitive closure1
Helmut Seidl Sauf Transitive closure" 13
Transitive closure Sauf Helmut Seidl" 0
Helmut Seidl Et Transitive closure 1
Helmut Seidl Ou Transitive closure 14
Corpus310
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 1.
Ident.Authors (with country if any)Title
000207 Flemming Nielson [Danemark] ; Hanne Riis Nielson [Danemark] ; Helmut Seidl [Allemagne]Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi
Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024